Pattern theory - PDFSEARCH.IO - Document Search Engine

Pattern theory
Results: 752

#	Item
171	Learning Decentralized Goal-based Vector Quantization Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-10-10 16:17:59 Machine learning Vector quantization Quantization Competitive learning Linde–Buzo–Gray algorithm Self-organizing map Vector space Rate–distortion theory Pattern recognition Neural networks Algebra Mathematics
172	Down with the bureaucracy of syntax! Pattern matching for classical linear logic Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-02-04 11:56:16 Logic Natural deduction Curry–Howard correspondence Symbol Sequent calculus Sheaf Orbifold Holomorphic functional calculus Proof theory Mathematics Mathematical logic
173	trx : Regular-tree expressions, now in Scheme Ilya Bagrak University of California, Berkeley Olin Shivers Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:32 Computer programming Tree automaton Pattern matching Regular expression Pushdown automaton Binary tree Abstract syntax tree Nondeterministic finite automaton Finite-state machine Software engineering Automata theory Computing
174	gp2c types and the description system By Bill Allombert February 21, 2012 Contents 1 gp2c types Add to Reading List Source URL: pari.math.u-bordeaux.fr Language: English - Date: 2012-02-22 04:04:50 Computer programming Type theory Subroutines Primitive types C++ Type system Pattern matching Printf format string Main function Software engineering Computing Data types
175	WinterRead-Only) Add to Reading List Source URL: www.transcollectorsclub.org Language: English - Date: 2008-02-25 13:28:25 Theory of Cryptography Conference Transferware Old Sturbridge Village Willow pattern
176	MITFallLecture 3 c W.C Carter Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:01 Type theory Cross-platform software Procedural programming languages Data types Pattern matching Assignment Variable Function Static single assignment form Software engineering Computing Mathematics
177	Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel Brigitte Pientka Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2013-07-16 18:56:31 Computability theory Programming idioms Theoretical computer science Recursion Subroutines Pattern matching Haskell Map Lambda calculus Software engineering Computing Computer programming
178	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Recursion Computability theory Mathematical logic Programming idioms Theory of computation Fold Well-founded relation Function Pattern matching Mathematics Computer programming Computing
179	Interactive Number Square – Top Tips Age 5-7 Interactive Number Line – Top Tips Age 4-7 A classic tool to explore adding and difference, through counting on and back, as well as multiplication and number patterns. Pr Add to Reading List Source URL: www.iboard.co.uk Language: English Structure Group theory Number Pattern
180	Oracle Grants Accounting (OGA) Understanding PTAEO Add to Reading List Source URL: www.dartmouth.edu Language: English - Date: 2014-07-16 12:57:58 Automata theory Pattern matching Regular expression Extensible Storage Engine SQL Computing Software engineering Data management

UPDATE